Issue779pattern.agda:6,3-7,12
Not a valid let-declaration
when scope checking the declaration
  record R where
    bla : D → D
    bla c = c
    field F : Set
